<!DOCTYPE HTML>
<!--
	Hyperspace by HTML5 UP
	html5up.net | @ajlkn
	Free for personal and commercial use under the CCA 3.0 license (html5up.net/license)
-->
<html>
	<head>
		<title>Donald S. Leung - Education</title>
		<meta charset="utf-8" />
		<meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no" />
		<link rel="stylesheet" href="assets/css/main.css" />
		<noscript><link rel="stylesheet" href="assets/css/noscript.css" /></noscript>
	</head>
	<body class="is-preload">

		<!-- Header -->
			<header id="header">
				<a href="/" class="title">Donald S. Leung</a>
				<nav th:include="fragments :: menu"></nav>
			</header>

		<!-- Wrapper -->
			<div id="wrapper">

				<!-- Main -->
					<section id="main" class="wrapper">
						<div class="inner">
							<h1 class="major">Education</h1>
							<p>My highest level of education attained is a Bachelor's degree in Computer Science and Engineering, having graduated with a <strong>First Class Honors</strong>, which means I may know a thing or two about problem solving and computing in general. I also happen to possess basic computer literacy and troubleshooting skills, which, contrary to popular belief, has absolutely nothing to do with my Computer Science degree! Also, kindly note that requests to fix your computer problems outside of my current (as of December 2021) full-time IT consulting job will only be entertained on a case-by-case basis, with your chance of succeeding being greater than 0 <a href="https://en.wikipedia.org/wiki/Material_conditional" target="_blank">only if</a> you happen to run <a href="https://help.ubuntu.com/lts/installation-guide/s390x/ch01s03.html" target="_blank">GNU/Linux</a> like I do ;-)</p>
							<p>During my study at HKUST, my academic areas of interest included:</p>
							<ul>
								<li>Interactive theorem proving: the use of specialized software tools known as proof assistants to build logical theories and perform logical deductions based on those theories</li>
								<li>Programming languages and type systems: the study of programming languages, their structure and execution semantics, design and implementation, properties of individual programs and programming languages as a whole; design of type systems, properties of type systems and implications</li>
								<li>GNU/Linux: A family of operating systems based on the open source Linux kernel that has come to dominate every corner of the tech industry, from smartphones to servers to datacenters to supercomputers, <em>except</em> the desktop use case. An interesting corollary is that everyone in the tech industry knows about it (or at least its existence thereof), and everyone else doesn't ;-)</li>
							</ul>
							<p>Note however that my interests have evolved since then, with my current interests residing in cloud computing and cloud native technologies.</p>
							<h3><i class="fa fa-graduation-cap fa-lg"></i> BEng in Computer Science and Engineering (4Y)</h3>
							<ul>
							  <li>Institution: The Hong Kong University of Science and Technology</li>
							  <li>Major: Computer Science and Engineering</li>
							  <li>Type: Bachelor of Engineering</li>
							  <li>Program duration: 4 years</li>
							  <li>Awarded: June 2021</li>
							  <li>Class: First Class Honors</li>
							  <li>Graduation Grade Average: 3.742</li>
							</ul>
							<p><a th:href="@{/assets/json/hkust-official.json}" class="button" target="_blank"><i class="fa fa-download fa-lg"></i> Download</a> <a href="https://registry.ust.hk/verify" class="button" target="_blank"><i class="fa fa-check-circle fa-lg"></i> Verify</a></p>
						</div>
					</section>

			</div>

		<!-- Footer -->
			<footer id="footer" class="wrapper alt">
				<div class="inner">
					<ul class="menu" th:include="fragments :: copyright"></ul>
				</div>
			</footer>

		<!-- Scripts -->
			<script src="assets/js/jquery.min.js"></script>
			<script src="assets/js/jquery.scrollex.min.js"></script>
			<script src="assets/js/jquery.scrolly.min.js"></script>
			<script src="assets/js/browser.min.js"></script>
			<script src="assets/js/breakpoints.min.js"></script>
			<script src="assets/js/util.js"></script>
			<script src="assets/js/main.js"></script>

	</body>
</html>
